2.8 Truth Sets, A link between Set Theory and Logic.